Andrew

Results: 26901



#Item
11Cryptography / Public-key cryptography / Post-quantum cryptography / Hash-based cryptography / Hashing / Merkle signature scheme / Digital signature / Cryptographic hash function / Merkle tree / RSA / Hash function / Quantum digital signature

Practical Fault Injection Attacks on SPHINCS Aymeric Genêt1,2 , Matthias J. Kannwischer3 , Hervé Pelletier2 , and Andrew McLauchlan2 ? 1 EPFL, Lausanne, Switzerland

Add to Reading List

Source URL: kannwischer.eu

Language: English - Date: 2018-10-15 10:31:49
12Cryptography / Computational complexity theory / Randomized algorithms / Complexity classes / Probabilistically checkable proof / Proof theory / IP / NP / NEXPTIME / Soundness / PCP theorem / Commitment scheme

Making Argument Systems for Outsourced Computation Practical (Sometimes) Srinath Setty, Richard McPherson, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin Abstract This paper describes the desig

Add to Reading List

Source URL: www.pepper-project.org

Language: English - Date: 2017-11-11 14:59:54
13Digital media / Wikipedia / Collaboration / Wikis / Social information processing / World Wide Web / OpenStreetMap / WikiProject / Wiki / Social media

Not at Home on the Range: Peer Production and the Urban/Rural Divide Isaac L. Johnson*, Yilun Lin*, Toby Jia-Jun Li†*, Andrew Hall*, Aaron Halfaker§, Johannes Schöning‡, Brent Hecht* *GroupLens Research, Department

Add to Reading List

Source URL: brenthecht.com

Language: English - Date: 2016-10-18 00:00:14
14Cryptography / Computational complexity theory / Complexity classes / Public-key cryptography / Interactive proof system / NP / NEXPTIME / IP / Probabilistically checkable proof / Commitment scheme / Proof of secure erasure / Randomized algorithm

Toward practical and unconditional verification of remote computations Srinath Setty∗, Andrew J. Blumberg∗, and Michael Walfish∗ 1 Introduction

Add to Reading List

Source URL: www.pepper-project.org

Language: English - Date: 2017-11-11 14:59:54
15Computational complexity theory / Theory of computation / IP / Proof of knowledge / NP / Zero-knowledge proof / Certificate / Theoretical computer science / Applied mathematics

Efficient RAM and control flow in verifiable outsourced computation Riad S. Wahby⋆ , Srinath Setty† , Zuocheng Ren† , Andrew J. Blumberg† , and Michael Walfish⋆ ⋆ †

Add to Reading List

Source URL: cs.nyu.edu

Language: English - Date: 2014-12-14 14:47:16
16Computational complexity theory / Logic / Mathematics / Randomized algorithms / Automated theorem proving / Logic programming / Probabilistically checkable proof / IP / NP / Substitution / MAX-3SAT / operator

Resolving the conflict between generality and plausibility in verified computation Srinath Setty? , Benjamin Braun? , Victor Vu? , Andrew J. Blumberg? , Bryan Parno† , and Michael Walfish? ? The University of Texas at

Add to Reading List

Source URL: www.pepper-project.org

Language: English - Date: 2017-11-11 14:59:54
17Cryptocurrencies / Blockchains / Ethereum / Alternative currencies / Concurrent computing / Computing / Distributed computing / Cross-platform software / Smart contract / Solidity / ERC-20 / CryptoKitties

Erays: Reverse Engineering Ethereum’s Opaque Smart Contracts Yi Zhou Deepak Kumar Surya Bakshi Joshua Mason Andrew Miller Michael Bailey University of Illinois, Urbana-Champaign Abstract Interacting with Ethereum smart

Add to Reading List

Source URL: kumarde.com

Language: English - Date: 2018-08-16 10:08:06
18

PDF Document

Add to Reading List

Source URL: www.andrew.cmu.edu

- Date: 2018-09-02 22:03:31
    19Machine learning algorithms / Money / Finance / Artificial intelligence / Language acquisition / Richard S. Sutton / Reinforcement learning / Bootstrapping / Andrew Barto / Barto

    Multi-step Bootstrapping Jennifer She Reinforcement Learning: An Introduction by Richard S. Sutton and Andrew G. Barto February 7, 2017

    Add to Reading List

    Source URL: www.cs.ubc.ca

    Language: English - Date: 2018-02-06 02:47:52
    UPDATE